poss-consistent(i;T;s;ev;R) == pe-loc(ev) = i & state@i  T & R(s,pe-state(ev)) 

latex

---

clarification:

poss-consistent(i;T;s;ev;R)
== pe-loc(ev) = i  Id & es-state(pe-es(ev);i)  T & R(s,pe-state(ev)) 

latex

Definitions	A & B, P & Q, s = t, Id, pe-loc(p), state@i, pe-es(e), f(a), pe-state(p)
FDL editor aliases	poss-consistent